es{-}hist\{i:l\}(${\it es}$; $e_{1}$; $e_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map(($\lambda$$e$.es{-}info(${\it es}$;$e$)); es{-}interval\{i:l\}(${\it es}$; $e_{1}$; $e_{2}$))